<html><body>
<xmp id="123">1 < 3</xmp>
</body></html>